A convenient category of topological spaces.
نویسندگان
چکیده
منابع مشابه
Towards a Convenient Category of Topological Domains
We propose a category of topological spaces that promises to be convenient for the purposes of domain theory as a mathematical theory for modelling computation. Our notion of convenience presupposes the usual properties of domain theory, e.g. modelling the basic type constructors, fixed points, recursive types, etc. In addition, we seek to model parametric polymorphism, and also to provide a fl...
متن کاملA Convenient Category of Locally Preordered Spaces
As a practical foundation for a homotopy theory of abstract spacetime, we propose a convenient category S , which we show to extend a category of certain compact partially ordered spaces. In particular, we show that S ′ is Cartesian closed and that the forgetful functor S →T ′ to the category T ′ of compactly generated spaces creates all limits and colimits.
متن کاملThe Quillen Model Category of Topological Spaces
We give a complete and careful proof of Quillen’s theorem on the existence of the standard model category structure on the category of topological spaces. We do not assume any familiarity with model categories.
متن کاملA convenient differential category
In this paper, we show that the category of Mackey-complete, separated, topological convex bornological vector spaces and bounded linear maps is a differential category. Such spaces were introduced by Frölicher and Kriegl, where they were called convenient vector spaces. While much of the structure necessary to demonstrate this observation is already contained in Frölicher and Kriegl’s book, we...
متن کاملEpimorphisms in the Category of Hausdorff Fuzzy Topological Spaces
In this paper we have characterized the epimorphisms in the full subcategory of Hausdorff fuzzy topological spaces (introduced by Srivastava et al.[10]) of the category FTS of fuzzy topological spaces and fuzzy continuous functions using the Salbanytype closure operator.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Michigan Mathematical Journal
سال: 1967
ISSN: 0026-2285
DOI: 10.1307/mmj/1028999711